Principe de Non-Contradiction, Négation et Pluralisme Logique

Un Principe de Résolution en Logique Modale

— The applications of modal logic are connected with programming reasoning and for this reason we are interested in developping theorem proving System for it. A resolution-style theorem proving System for modal logic is presented. The two version of Herbrand property are proved. The completeness of the System is given. Nous présentons dans cet article une formalisation des modalités de re parfa...

Une logique conflictuelle: double négation et devenir, méthode

Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique

We present a course given at the “Maîtrise d’informatique” level at Université of Rennes 1. This course studies relations between logic and computation, among which proofsearching as computing, hence a first course in logic programming. This course is not limited to logic programming, but it is the only one that the student will get on logic programming. Though this course focuses on theoretica...

Habitude et principe de compatibilité dans le modèle du comportement planifié : décisions pro-environnementales et automobile

Programmation logique et contraintes

succès rencontrés très rapidement en résolution deprobì emes combinatoires, y compris dans desprobì emes clas-siques de recherche opérationnelle comme en ordonnancement par exemple, ont induit une forte vitalité industrielle et académique dans ce domaine. Les enjeux sont aujourd'hui d'aller vers une plus grande automatisation, qui n'at-teint pas encore celle des outils de programmation linéaire...